ocr: Table 1. Simple categorization of relaxed models. W-R W-W K-RW Rend others Read own Relaxation order order order write early write early Satety ner SC' IBM 370 Serialization instructions TSO / Read-modity-write PC' Read-mpanty-write PSO' Read-modity-write, STBAR wo Synchronization RCSC Release, acquire, isync read-modity-write RCpc Release, acquire, yns read-modnty-write Alphas / MB, WMB RMO' / Various MEMBARS PowerPe / - - Sync A/i incicates that the: corresponding relaxation is allowed by: straighttonward implementations of the corresponding model. It: also indicates that the relaxation can ...
